Computer Science

Module	LV Type	CP	LV	Dates
Advanced Automata Theory	Fach-/Modulprüfung	6	452625
Advanced Machine Learning	Fach-/Modulprüfung	6	451053
Advanced Machine Learning	Vorlesung		450225	Di 16:30-18:00 AH IV (2354\|030) (×13) Do 14:30-16:00 AH I (2350\|028) (×11)
Advanced Methods in Automatic Speech Recognition	Fach-/Modulprüfung	6	451121
Advanced Methods in Automatic Speech Recognition	Vorlesung/Übung		455613	Di 10:30-12:00 6074\|228 (×5) Di 10:30-12:00 Online-Veranstaltung (×9) Mi 10:30-12:00 6074\|228 (×6) Mi 10:30-12:00 AH VI (2356\|051) (×1) Mi 10:30-12:00 Online-Veranstaltung (×7)
Advanced Statistical Classification	Fach-/Modulprüfung	6	454160
Business Process Intelligence	Fach-/Modulprüfung	6	450952
	Vorlesung		449778	Mo 12:30-14:00 AH IV (2354\|030) (×13) Di 14:30-16:00 AH IV (2354\|030) (×14)
	Übung		449712	Mi 10:30-12:00 AH IV (2354\|030) (×14)
Combinatorial Problems in Scientific Computing	Fach-/Modulprüfung	4	450790
	Vorlesung/Übung		449562	Mo 12:30-14:00 AH III (2350\|314.1) (×13) Di 08:30-10:00 AH III (2350\|314.1) (×14)
	Vorlesung/Übung		449562	Mo 12:30-14:00 AH III (2350\|314.1) (×13) Di 08:30-10:00 AH III (2350\|314.1) (×14)
Communication Systems Engineering	Fach-/Modulprüfung	6	454642
Computer Vision	Fach-/Modulprüfung	6	450858
Computer Vision	Vorlesung/Übung		447211	Mo 10:30-12:00 Grüner Hörsaal AM (Gr) (1420\|001) (×12) Do 10:30-12:00 AH II (2350\|111) (×1) Do 10:30-12:00 TEMP1 (1515\|001) (×11)
CSCW and Groupware: Concepts and Systems for Computer Supported Cooperative Work	Fach-/Modulprüfung	4	454442
	Vorlesung/Übung		449736	Mi 13:00-14:30 Extern (×12)
Current Topics in Media Computing and HCI	Fach-/Modulprüfung	6	452624
Current Topics in Media Computing and HCI	Vorlesung/Übung		449666	Mi 12:30-14:00 PPS H1 (2315\|101) (×14)
Datenstrommanagement und -analyse	Fach-/Modulprüfung	6	455619
Datenstrommanagement und -analyse	Vorlesung/Übung		455603	Mo 12:30-14:00 AH VI (2356\|051) (×13) Fr 14:30-16:00 AH I (2350\|028) (×12) Fr 14:30-16:00 AH III (2350\|314.1) (×1)
Designing Interactive Systems II	Fach-/Modulprüfung	6	451051
Designing Interactive Systems II	Vorlesung/Übung		449723	Mo 14:30-16:00 AH VI (2356\|051) (×12) Mi 09:30-12:00 MetP11 (2181\|102) (×14)
Distributed Ledger Technology	Fach-/Modulprüfung	4	468741
Distributed Ledger Technology	Vorlesung/Übung		455843	Di 12:30-14:00 Extern (×12) Di 14:00-15:30 Extern (×12)
Eingebettete Systeme	Fach-/Modulprüfung	6	453162
	Vorlesung/Übung		449609	Mo 16:30-18:00 AH III (2350\|314.1) (×10) Di 14:30-16:00 AH III (2350\|314.1) (×13)
	Vorlesung/Übung		450568	Mo 14:30-16:00 AH III (2350\|314.1) (×11) Mi 12:30-14:00 AH III (2350\|314.1) (×13)
Fixpoints and Induction in Logic and Computer Science	Fach-/Modulprüfung	6	468643
	Vorlesung		455732	Mi 10:30-12:00 5056 (2356\|056) (×13) Do 08:30-10:00 5056 (2356\|056) (×5)
	Übung		455741	Mi 16:30-18:00 5054 (2356\|054) (×9)
Formale Grundlagen von UML	Fach-/Modulprüfung	6	453220
Fortgeschrittene Techniken der physikalisch-basierten Animation	Fach-/Modulprüfung	6	453889
Funktionale Programmierung	Fach-/Modulprüfung	6	453151
Funktionale Sicherheit und Systemzuverlässigkeit	Fach-/Modulprüfung	6	454025
Funktionale Sicherheit und Systemzuverlässigkeit	Vorlesung/Übung		449684	Di 10:30-12:00 AH III (2350\|314.1) (×12) Do 10:30-12:00 AH III (2350\|314.1) (×12)
Geometrieverarbeitung	Fach-/Modulprüfung	6	453728
	Vorlesung		448685	Mi 10:30-12:00 AH V (2356\|050) (×14) Fr 10:30-12:00 AH VI (2356\|051) (×12)
	Übung		449088	Fr 12:30-14:00 AH I (2350\|028) (×12) Fr 12:30-14:00 HKW 1 (1132\|203) (×1)
Graphzerlegungen und algorithmische Anwendungen	Fach-/Modulprüfung	6	455839
	Vorlesung		455435	Mo 16:30-18:00 AH II (2350\|111) (×9) Do 16:30-18:00 AH I (2350\|028) (×9)
	Übung		455436	Fr 12:30-14:00 5056 (2356\|056) (×4) Fr 12:30-14:00 Seminarraum i7, Raum 4116 (2353\|116) (×1)
Infinite Computations and Games	Fach-/Modulprüfung	6	454588
IT-Sicherheit 1 - Kryptographische Grundlagen und Netzwerksicherheit	Fach-/Modulprüfung	6	454483
IT-Sicherheit 2 - Computer Security	Fach-/Modulprüfung	6	454382
IT-Sicherheit 2 - Computer Security	Vorlesung/Übung		450450	Mo 16:30-18:00 H05 (1385\|105) (×12) Mi 08:30-10:00 H06 (1385\|004) (×14)
Kombinatorische Graphentheorie	Fach-/Modulprüfung	6	452226
Leistungs- und Korrektheitsanalyse paralleler Programme	Fach-/Modulprüfung	6	451475
Leistungs- und Korrektheitsanalyse paralleler Programme	Vorlesung/Übung		448641	Mo 14:30-16:00 5056 (2356\|056) (×10) Do 14:30-16:00 5056 (2356\|056) (×7) Do 14:30-16:00 Extern (×1)
Logics for Reasoning about Uncertainty	Fach-/Modulprüfung	4	454552
Logikprogrammierung	Fach-/Modulprüfung	6	452059
	Vorlesung		454728	Di 16:30-18:00 AH III (2350\|314.1) (×11) Mi 16:30-18:00 AH IV (2354\|030) (×2) Fr 12:30-14:00 AH III (2350\|314.1) (×11)
	Übung		454727	Di 16:30-18:00 AH III (2350\|314.1) (×2) Mi 09:00-13:00 AH III (2350\|314.1) (×1) Mi 09:30-12:30 5055 (2356\|055) (×1) Mi 16:30-18:00 AH IV (2354\|030) (×8) Do 09:00-18:00 5055 (2356\|055) (×1) Fr 12:30-14:00 AH III (2350\|314.1) (×1)
Mobile Internet Technology	Fach-/Modulprüfung	6	451288
Mobile Internet Technology	Vorlesung/Übung		449592	Mo 14:30-16:00 AH I (2350\|028) (×7) Do 10:30-12:00 AH I (2350\|028) (×10) Fr 10:30-12:00 9222 (2359\|222) (×1) Fr 10:30-12:00 AH I (2350\|028) (×9)
Model Checking	Fach-/Modulprüfung	6	455274
	Vorlesung		455138	Mo 10:30-12:00 AH II (2350\|111) (×12) Mo 14:00-16:00 5055 (2356\|055) (×1) Do 12:30-14:00 AH II (2350\|111) (×9)
	Übung		455137	Mo 10:30-12:00 AH II (2350\|111) (×1) Mi 16:30-18:00 AH V (2356\|050) (×10)
Modeling and Verification of Probabilistic Systems	Fach-/Modulprüfung	6	454399
Modellbasierte Softwareentwicklung	Fach-/Modulprüfung	6	450997
Modellierung und Analyse hybrider Systeme	Fach-/Modulprüfung	6	452314
Online Algorithmen	Fach-/Modulprüfung	6	450885
Online Algorithmen	Vorlesung		455712	Di 12:30-14:00 Seminarraum i1, Raum 4017 (2353\|017) (×9) Di 16:30-18:00 AH II (2350\|111) (×10) Mi 12:30-14:00 Seminarraum i1, Raum 4017 (2353\|017) (×1) Do 10:30-12:00 5055 (2356\|055) (×1) Fr 12:30-14:00 AH V (2356\|050) (×9)
Physikalische Simulation im Visual Computing	Fach-/Modulprüfung	6	453889
	Fach-/Modulprüfung	6	467731
	Vorlesung/Übung		467730	Di 10:30-12:00 5055 (2356\|055) (×13) Do 09:00-13:00 9220 (2359\|220) (×1) Do 09:00-14:00 9220 (2359\|220) (×1) Do 10:30-12:00 5054 (2356\|054) (×12) Do 14:00-15:00 9220 (2359\|220) (×1) Do 14:00-15:30 9220 (2359\|220) (×1) Fr 09:00-13:00 9220 (2359\|220) (×1) Fr 09:00-15:00 9220 (2359\|220) (×1)
Planungs-, Steuerungs-, Informations- und Kommunikationssysteme für den öffentlichen Verkehr	Vorlesung		456400	Mo 09:00-17:00 Großer B-IT Raum (2356\|053.2) (×1) Di 09:00-17:00 Großer B-IT Raum (2356\|053.2) (×1) Mi 09:00-17:00 Großer B-IT Raum (2356\|053.2) (×1) Do 09:00-17:00 Großer B-IT Raum (2356\|053.2) (×1) Fr 09:00-17:00 Extern (×1)
Probabilistic Programming	Fach-/Modulprüfung	4	454494
Prozesse und Methoden beim Testen von Software	Fach-/Modulprüfung	3	453128
	Fach-/Modulprüfung	6	453127
	Vorlesung		446690	Di 11:00-11:30 9U10 (2359\|U112) (×1) Do 08:30-17:30 9222 (2359\|222) (×1) Do 11:00-11:30 9U10 (2359\|U112) (×1) Fr 08:30-17:30 9222 (2359\|222) (×1)
Quantum Computing	Fach-/Modulprüfung	4	451114
Reinforcement Learning and Learning-based Control	Fach-/Modulprüfung	6	457736
	Vorlesung		455192	Mi 16:30-18:00 PPS H1 (2315\|101) (×12)
	Übung		455193	Di 12:30-14:00 PPS H1 (2315\|101) (×12)
Sicherheit in der Mobilkommunikation	Fach-/Modulprüfung	6	452385
Software-Projektmanagement	Fach-/Modulprüfung	4	454026
	Vorlesung		447677	Di 16:30-18:00 AH V (2356\|050) (×14) Mi 13:30-16:00 5055 (2356\|055) (×1) Mi 14:00-17:00 5055 (2356\|055) (×1)
	Übung		448463	Mi 13:30-16:00 5055 (2356\|055) (×1) Fr 08:30-10:00 AH V (2356\|050) (×6)
Software-Qualitätssicherung	Fach-/Modulprüfung	6	450679
	Vorlesung		448188	Mo 11:00-12:00 5055 (2356\|055) (×1) Mi 08:30-10:00 AH IV (2354\|030) (×2) Do 12:30-14:00 AH V (2356\|050) (×10) Fr 09:00-12:00 5055 (2356\|055) (×1)
	Übung		449782	Do 14:30-16:00 AH IV (2354\|030) (×8)
Statistische Klassifikation und Maschinelles Lernen	Fach-/Modulprüfung	8	454403
Statistische Methoden zur Verarbeitung natürlicher Sprache	Fach-/Modulprüfung	8	451230
The Logic of Knowledge Bases	Fach-/Modulprüfung	6	454425
Theory of Constraint Satisfaction Problems	Fach-/Modulprüfung	6	450975
Theory of Distributed and Parallel Systems	Fach-/Modulprüfung	6	451897
Wissensrepräsentation	Fach-/Modulprüfung	6	453322
Wissensrepräsentation	Vorlesung/Übung		455352	Mo 08:30-10:00 AH II (2350\|111) (×12) Di 08:30-10:00 AH II (2350\|111) (×13) Fr 16:30-18:00 AH I (2350\|028) (×11) Fr 16:30-18:00 AH III (2350\|314.1) (×1)